松本 和夫『復刊 数理論理学』